As a contribution to a wider discussion on moral discernment in theological anthropology, this paper seeks to answer the question “What is the impact of mental illness on an individual’s ability to make moral decisions?” Written from a clinical psychiatric perspective, it considers recent contributions from psychology, neuropsychology and imaging technology. It notes that the popular conception that mental illness necessarily robs an individual of moral responsibility is largely unfounded. Most people who suffer from mental health problems do not lose (...) the capacity to make moral decisions, and mental illness on its own rarely explains anti-social or criminal behaviour. Moreover, the assumptions of some scientists, that recent developments in neuropsychology and brain imaging suggest biological determinism, must be treated with caution. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This paper works out the scheme of “institutional competences” that underlies the famous Hart and Sacks Legal Process Materials first distributed in final mimeographed form in1958. The Materials were not published during the life times of their authors but were nonetheless a major influence on American legal thought from their first distribution as course materials at Harvard Law School until their abrupt fall from prominence in the early 1970s. The Materials offer the scheme as a solution to the apparent anomaly (...) in a democracy of the law making power in both public and private law of unelected judges serving long terms. The paper critiques the Hart and Sacks solution, called law making through “reasoned elaboration,” which they claimed was sharply distinct from legislative law making or administrative fiat. The paper argues that in both public and private law the materials the judge is to elaborate are characterized by contradictory internal logics. The judge has to choose between them without a meta-criterion. In cases with high stakes, extra-juristic normative orientations, whether moral theories or political ideologies, will come into play, regardless of the judge’s commitment to excluding them. The second part of the paper places Hart and Sacks in a larger historical and comparative context of efforts to solve the problem of social order by way of legal rationality. These two parts were preceded in the original paper by a long discussion, now lost but never very satisfying to me, of the Hart and Sacks theory of “private ordering” in relation to state regulatory power. I wrote the paper for extra credit in the spring of 1970 as a third year student at the Yale Law School. I’ve corrected a few typos but haven’t changed it in any other way. I never published it but it was circulated to a limited extent among Legal Process devotees. Eskridge and Frickey, editors of the Materials as published finally in 1994, credit it, along with another unpublished student paper by Roberto Unger, with hastening the demise of the Materials as a master text. The first part of this version of the paper was recently published in Droit et Philosophie, no. 13, p. 97-117 (2021). (shrink)

Critical notice of Images of Science by P. M. Churchland and C. A. Hooker.

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

Leopold Kronecker (1823–1891) was a German mathematician who worked on number theory and algebra. He is considered a pre-intuitionist, being only close to intuitionism because he rejected Cantor’s Set Theory. He was, in fact, more radical than the intuitionists. Unlike Poincaré, for example, Kronecker didn’t accept the transfinite numbers as valid mathematical entities.

Frege discussed Mill’s empiricist ideas and Kant’s rationalist ideas about the nature of mathematics, and employed Set Theory and logico-philosophical notions to develop a new concept for the natural numbers. All this is objectively exposed by this paper.

It is undeniable Poincaré was a very famous and influential scientist. So, possibly because of it, it was relatively easy for him to participate in the heated discussions of the foundations of mathematics in the early 20th century. We can say it was “easy” because he didn't get involved in this subject by writing great treatises, or entire books about his own philosophy of mathematics (as other authors from the same period did). Poincaré contributed to the philosophy of mathematics by (...) writing short essays and letters. (shrink)

Husserl came over to philosophy from mathematics and he devoted many years to the formulation of a firm foundation for Philosophy that could even secure the status of "science" for it. But unlike some of his contemporaries (like Frege and Russell), he did not seek salvation for philosophy in the mathematical method. He argued philosophy (like any other field of study) should pay attention to uninterpreted basic experience and this would lead the way to understanding the essence of things. Essence, (...) then, would become conscious and this process was addressed by him as “phenomenological reduction.”. (shrink)

Let’s suppose all the rules of physics will change, but, before the change, we finally figured out everything there was to be figured out about physics. This means that we achieved pragmatic completeness at that point. It’s not a universal Platonic completeness, but everything there was to be expressed about the physics at that moment was expressed.

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

Kant and Descartes followed an extreme clever, secure way of reasoning. For them, there must be a world of differences, or of movement, before we can extract anything (ideas, laws, concepts, etc.) from the world. For Kant, these “changes” that secure the possibility of knowledge were the ones we can measure with the categories of space and time. While, for Descartes, since there exist two things: “me” and “the world”, we can say knowledge is possible. But I think we can (...) extract a more abstract, general principle from the similarities between both Descartes and Kant’s mobilist tendency. (shrink)

Rules serve many important functions in society. One such function is to codify, and make public and enforceable, a society's desired prescriptions and proscriptions. This codification means that rules come with predefined punishments administered by third parties. We argue that when we look at how third parties punish rule violations, we see that rules and their punishments often serve dual functions. They support and help to maintain cooperation as it is usually theorized, but they also facilitate the domination of marginalized (...) others. We begin by reviewing literature on rules and third-party punishment, arguing that a great deal of punishment research has neglected to consider the unique power of codified rules. We also argue that by focusing on codified rules, it becomes clear that the enforcement of such rules via third-party punishment is often used to exert control, punish retributively, and oppress outgroup members. By challenging idealized theory of rules as facilitators of social harmony, we highlight their role in satisfying personal punishment motives, and facilitating discrimination in a way that is uniquely justifiable to those who enforce them. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

ALTERNATIVE FOODS IN THE FORMULATION OF DIETS FOR GOATS AND SHEEP ABSTRACT Alternative nutrition refers to the use of unconventional ingredients or agro-industrial byproducts in formulating diets that would otherwise be discarded (Moraes, et al., 2011). Providing nutritional support to animals is essential in optimizing digestibility, associated with good management and water availability, which increases the producer's profitability. The search for alternative foods to meet market demand can arise for several reasons, whether to obtain a greater supply of feed during (...) the seasons, always maintaining a favorable trade balance with regard to the cost of the diet, bringing this These foods that are used to feed sheep and goats have been carried out more effectively, however, these foods must provide the supply of all nutrients. Furthermore, these foods have economic viability and nutritional values capable of supplementing the nutritional needs of small ruminants, such as: Whey, mandacaru, beans and castor seeds. Keyword: small ruminants, food, nutritional management. (shrink)

This article was produced as an introduction to a Portuguese translation of an article by Henri Poincaré titled "The new conceptions of matter". The aim of this introduction was to shortly summarize Poincaré's scientific and philosophical production, to approach the circumstances on which the text was originally presented and, finally, to analyze the relationship - or the lack of it - that Poincaré establishes between science and materialism.

It is argued that reliance on the testimony of others cannot be viewed as reliance on a kind of evidence. Speech being essentially voluntary, the speaker cannot see his own choice of words as evidence of their truth, and so cannot honestly offer them to others as such. Rather, in taking responsibility for the truth of what he says, the speaker offers a guarantee or assurance of its truth, and in believing him the hearer accepts this assurance. I argue that, (...) contrary to appearances, this account is compatible with the hearer acquiring knowledge, and in fact throws interesting light on the idea of knowledge. -/- . (shrink)

It is argued that if, with Dummett, we see assertion as an act governed by conditions of correctness which makes a claim to the effect that these conditions are met, then the conditions of correctness that determine its content must have the impersonal character of a requirement of truth, rather than the speaker-relative character of a requirement of justification or assertibility. For otherwise it would be impossible for different speakers to use the same words to make an assertion with the (...) same content. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

In order to improve our understanding of the components that reflect functionally important processes during reward anticipation and consumption, we used principle components analyses (PCA) to separate and quantify averaged ERP data obtained from each stage of a modified monetary incentive delay (MID) task. Although a small number of recent ERP studies have reported that reward and loss cues potentiate ERPs during anticipation, action preparation, and consummatory stages of reward processing, these findings are inconsistent due to temporal and spatial overlap (...) between the relevant electrophysiological components. Our results show three components following cue presentation are sensitive to incentive cues (N1, P3a, P3b). In contrast to previous research, reward‐related enhancement occurred only in the P3b, with earlier components more sensitive to break‐even and loss cues. During feedback anticipation, we observed a lateralized centroparietal negativity that was sensitive to response hand but not cue type. We also show that use of PCA on ERPs reflecting reward consumption successfully separates the reward positivity from the independently modulated feedback‐P3. Last, we observe for the first time a new reward consumption component: a late negativity distributed over the left frontal pole. This component appears to be sensitive to response hand, especially in the context of monetary gain. These results illustrate that the time course and sensitivities of electrophysiological activity that follows incentive cues do not follow a simple heuristic in which reward incentive cues produce enhanced activity at all stages and substages. (shrink)

Autonomous and automatic weapons would be fire and forget: you activate them, and they decide who, when and how to kill; or they kill at a later time a target you’ve selected earlier. Some argue that this sort of killing is always wrong. If killing is to be done, it should be done only under direct human control. (E.g., Mary Ellen O’Connell, Peter Asaro, Christof Heyns.) I argue that there are surprisingly many kinds of situation where this is false and (...) where the use of Automated Weapons Systems would in fact be morally required. These include cases where a) once one has activated a weapon expected then to behave lethally, it would be appropriate to let it continue because this is part of a plan whose goodness one was best positioned to evaluate before activating the weapon; b) one expects better long-term consequences from allowing it to continue; c) allowing it to continue would express a decision you made to be resolute, a decision that could not have advantaged you had it not been true that you would carry through with it; d) the weapon is mechanically not recallable, so that, to not allow it to carry through, you would have had to refrain from activating it in the first place, something you expected would have disastrous consequences; e) you must deputize necessary killings to autonomous machines in order to protect yourself from guilt you shouldn’t have to bear; f) it would be morally better for the burden of responsibility for the killing to be shared among several agents, and the agents deputizing killing to machines can do this, especially where it’s not predictable which machine will be successful; g) a killing would be morally better done with elements of randomness and lack of deliberation, and a (relatively stupid) machine could do this where a person could not; h) the machine would be acting as a Doomsday Device, so that it could not have had its hoped for deterrent effect had you not ensured that you would be unable to recall it if enemy action activated it; i) letting it carry through is a necessary part of its own learning process, and you expect that this learning will have salutary effects later on; j) human intervention in the machine’s operation would disastrously impair its precision, or its speed and efficiency; k) using non-automated methods would require human resources you just don’t have in a task that nevertheless must be done (e.g., using land-mines to protect remote installations); l) the weapon has such horrible and indiscriminate power that it is doubtful whether it could be actually used in ways compatible with International Humanitarian Law and the Laws of War, which require that weapons be used only in ways respecting distinctness, necessity and proportionality, but its threat of use could respect these principles in affording deterrence provided human error cannot lead to their accidental deployment, this requiring that they be controlled by carefully designed autonomous and automatic systems. I then consider objections based on conceptions of human dignity and find that very often dignity too is best served by autonomous machine killing. Examples include saving your village by activating a robot to kill invading enemies who would inflict great indignity on your village, using a suicide robot to save yourself from a less dignified death at enemy hands, using a robotic drone to kill someone otherwise not accessible in order to restore dignity to someone this person killed and to his family, and using a robot to kill someone who needs killing, but the killing of whom by a human executioner would soil the executioner’s dignity. I conclude that what matters in rightful killing isn’t necessarily that it be under the direct control of a human, but that it be under the control of morality; and that could sometimes require use of an autonomous or automated device. (This paper was formerly called "Fire and Forget: A Defense of the Use of Autonomous Weapons in War" on Philpapers; the current title is the title of the published version.). (shrink)

This note outlines a Theory of Everything consistent with the PF interpretation of quantum mechanics.

Epistemological disjunctivism says that one can know that p on the rational basis of one’s seeing that p. The basis problem for disjunctivism says that that can’t be since seeing that p entails knowing that p on account of simply being the way in which one knows that p. In defense of their view disjunctivists have rejected the idea that seeing that p is just a way of knowing that p (the SwK thesis). That manoeuvre is familiar. In this paper (...) I explore the prospects for rejecting instead the thought that if the SwK thesis is true then seeing that p can’t be one’s rational basis for perceptual knowledge. I explore two strategies. The first situates disjunctivism within the context of a ‘knowledge-first’ approach that seeks to reverse the traditional understanding of the relationship between perceptual knowledge and justification (or rational support). But I argue that a more interesting strategy situates disjunctivism within a context that accepts a more nuanced understanding of perceptual beliefs. The proposal that I introduce reimagines disjunctivism in light of a bifurcated conception of perceptual knowledge that would see it cleaved along two dimensions. On the picture that results perceptual knowledge at the judgemental level is rationally supported by perceptual knowledge at the merely functional or ‘animal’ level. This supports a form of disjunctivism that I think is currently off the radar: one that’s consistent both with the SwK thesis and a commitment to a traditional reductive account of perceptual knowledge. (shrink)

A critical analysis of Alfred Schuetz' conception of rationality based upon Edmund Husserl's phenomenology.

This is an earlier version of the argument presented as the appendix to the author's final book, Peri Physeos.

This chapter discusses the fundamental question of the defense industry’s role and legitimacy for societies. It begins with a parable of a psychopath doing something self-serving that has beneficial moral consequences. Analogously, it is argued, the defense industry profiting by selling weapons that can kill people makes it useful in solving moral problems not solvable by people with ordinary moral scruples. Next, the chapter argues that while the defense industry is a business, it is also implicated in the security of (...) its home nations. In addition, its products can be used for good or evil. Thus, it must navigate conflicting values, with the result that the rules often thought to rightly regulate the industry—codes of business ethics, engineering ethics, procurement ethics, plus laws of the land, and dicta of conscience—need supplementing by general moral reflection. This chapter argues for a principle that tells how to decide when to violate the rules, for a theory of rational choice on which choosing by this principle is rational, and for teaching that theory to defense industry employees to ensure their ethical behavior. (shrink)

Recent studies have shown that recidivism scoring algorithms like COMPAS have significant racial bias: Black defendants are roughly twice as likely as white defendants to be mistakenly classified as medium- or high-risk. This has led some to call for abolishing COMPAS. But many others have argued that algorithms should instead be given access to a defendant's race, which, perhaps counterintuitively, is likely to improve outcomes. This approach can involve either establishing race-sensitive risk thresholds, or distinct racial ‘tracks’. Is there a (...) moral difference between these two approaches? We first consider Deborah Hellman's view that the use of distinct racial tracks (but not distinct thresholds) does not constitute disparate treatment since the effects on individuals are indirect and does not rely on a racial generalization. We argue that this is mistaken: the use of different racial tracks seems both to have direct effects on and to rely on a racial generalization. We then offer an alternative understanding of the distinction between these two approaches—namely, that the use of different cut points is to the counterfactual comparative disadvantage, ex ante, of all white defendants, while the use of different racial tracks can in principle be to the advantage of all groups, though some defendants in both groups will fare worse. Does this mean that the use of cut points is impermissible? Ultimately, we argue, while there are reasons to be skeptical of the use of distinct cut points, it is an open question whether these reasons suffice to make a difference to their moral permissibility. (shrink)

What would it mean to have a suitably ‘realistic’ account of political liberty? On the one hand, I don’t think we can properly understand liberty without an underlying account of personhood or agency.2 In making sense of liberty, we need to ask: What kind of agency does it presuppose or promote? What kind of independence do we care most about? What does it mean to exercise control, or to be self-guiding, in the kind of world we live in today? At (...) the same time, a conception of moral and political personhood needs to be appropriately ‘realistic’: It shouldn’t be over-idealized (or over-simplified), nor demand more than can be reasonably expected, given the kind of creatures we are. (shrink)

A philosophical critique of George Grant's use of Heidegger that refers in detail to Reiner Schurmann to distinguish the terms "particularity" and "singularity.".

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

In the _True Intellectual System_, Cudworth attacks types of atheist position—atomic atheism, hylozoic atheism, etc. He generally uses ancient examples to illustrate those types, but also criticizes some of his contemporaries. We can identify direct criticisms of contemporaries by finding quotations, paraphrases, and accounts of their views in the text. My primary question in this paper is, 'how much of the _True Intellectual System_ is directly about or aimed at Spinoza?' My ultimate answer, contrary to some prominent voices in the (...) existing literature, is 'not very much at all'. (shrink)

I agree with about 95% of what Paul Moser has written in his book The Elusive God. However, I have three main points of disagreement with Moser, two of which I ventilate in this paper. The third I discuss in my paper "What's Love Got to Do with It?" also on this website.

When we experience the world – see, hear, feel, taste, or smell things – we gain all sorts of knowledge about the things around us. And this knowledge figures heavily in our reasoning about the world – about what to think and do in response to it. But what is the nature of this knowledge? On one commonly held view, all knowledge is constituted by beliefs in propositions. But in this paper I argue against this view. I argue that some (...) knowledge is constituted, not by beliefs in propositions, but by awareness of properties and objects. To make my case, I focus on the role of visual perception in reasoning. I start by introducing a principle about the relationship between knowledge and reasoning, which says that to learn something new by reasoning, one must know the bases of one’s reasoning. Then I argue that in some cases of genuine, knowledge-conferring reasoning, the bases of our reasoning are not propositions that we believe; rather, they’re properties or objects that we see. Thus, I conclude that some such knowledge is non-propositional and is rather what some call “knowledge of things”. (shrink)

This chapter conceptually analyzes the post-traumatic stress injuries called moral injury, moral fatigue or exhaustion, and broken spirit. It then identifies two puzzles. First, soldiers sometimes sustain moral injury even from doing right actions. Second, they experience moral exhaustion from making decisions even where the morally right choice is so obvious that it shouldn’t be stressful to make it; and even where rightness of decision is so murky that no decision could be morally faulted. The injuries result of mistaken moral (...) self-evaluation. Methods of preventing and treating these injuries are defended, including training in self-forgiveness, moral off-loading of actions and decisions to persons and devices less likely to feel inappropriate guilt, and the use of drugs to prevent such guilt. The foregoing has been about moral injury erroneously resulting from the non-violation of a correct moral code. But the chapter then introduces the concept of moral pseudo-injury—felt moral injury that has in reality resulted from violation of a false moral code, so that no one has really been morally injured. This can be used as a method in warfighting. And since the injuries it produces are illusory, this would be morally superior to physical violence. For it causes less injury to its victims, and should cause less guilt in those who must inflict it. Historical precedents are considered. Finally, our enemies often use moral pseudo-injury against us, in the form of terrorist violence against civilians. Terrorism causes comparatively few harms, yet we mistakenly see it as more morally horrific than conventional combat that causes much worse loss of life among armed forces members. Here we need the nuancing and clarifying power of philosophy to restore a sense of proportion, thence to prevent or therapize the moral pseudo-injury we may experience from these sorts of attacks. (This is a pre-penultimate version of the published version, available from OUP at the external link, which contains minor variances. The paper was earlier known as "PTSD Weaponized: A Theory of Moral Injury"; that now superseded version is archived under "past conferences" on the Center for Ethics and the Rule of Law website.). (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...) features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

It is widely thought that grounding is a hyperintensional phenomenon. Unfortunately, the term ‘hyperintensionality’ has been doing double-duty, picking out two distinct phenomena. This paper clears up this conceptual confusion. We call the two resulting notions hyperintensionalityGRND and hyperintensionalityTRAD. While it is clear that grounding is hyperintensionalGRND, the interesting question is whether it is hyperintensionalTRAD. We argue that given well-accepted constraints on the logical form of grounding, to wit, that grounding is irreflexive and asymmetric, grounding is hyperintensionalTRAD only if one (...) endorses a sentential operator view of grounding. We argue that proponents of the sentential operator view will need to distinguish two importantly different kinds of hyperintensionalityTRAD—weak and strong—and we offer them a way to do so. (shrink)

It is widely thought that stealing, trading and destroying cultural artifacts in time of war are inherently immoral actions, and that it is right that they be treated as war crimes, which, indeed, they currently are. But oppressive cultures have their heritage and cultural artifacts too, in the form of monuments, sites of worship, and so on; and for the oppressed, these things may be awful reminders of their subordination, and may even perpetuate it. This chapter suggests that, since cultural (...) objects can be both tools and symbols of unjust oppression, their theft and destruction ought to be seen as appropriate when this would be a means of overcoming oppression. Whatever current law may say, in these instances, it would be morally inappropriate to count such acts as war crimes. Furthermore, it is bizarre that theft and destruction of cultural property are counted as war crimes when soldiers killing each other is not (due to combatant immunity). Surely killing is worse than property destruction and theft. It is therefore argued that, where possible, it would be better for conflicts to be fought using the latter methods. Finally, the chapter responds to many objections to using theft and destruction of cultural property as a method of warfare. E.g. to the objection that such property has timeless, trans-cultural, aesthetic, historical and scientific value, it is replied that justice is a more important value; and to the objection that these practices amount to cultural genocide it is replied that unjust cultures have no right to exist unmodified. (This chapter was formerly entitled: "Culture Weaponized: A Contrarian Theory of the Sometime Appropriateness of the Destruction, Theft and Trade of Art and Cultural Artifacts in Armed Conflict." The PhilPapers archived version is a pre-penultimate version of the published version.). (shrink)

When it comes to personal identity, two approaches have long ruled the roost. The first is the psychological approach, which has it that our persistence through time consists in the continuance of certain of our psychological traits, such as our memories, beliefs, desires, or personality. The second is the biological approach, according to which personal persistence consists in continuity in our physical or biological makeup. Amid the bipartite reign of these approaches, a third contender has emerged: the phenomenal approach. On (...) this approach, personal persistence consists in continuity in phenomenal consciousness or the capacity for phenomenal consciousness. In this paper I will introduce and defend a new argument for the phenomenal approach. In the process, I will argue against the psychological and biological approaches. I will also address some lingering questions and outline further ways to develop the phenomenal approach. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

An extended review essay on Andrew Feenberg's Heidegger and Marcuse that argues that the concept of negation in Hegel is distinct from that in Heidegger which makes such an attempted synthesis problematic.

In a recent paper Shieva Kleinschmidt has argued that if certain scenarios involving extended simple regions are possible (so-called ‘Place Cases’), then no logic of location with only one primitive locative notion (i.e., no ‘parsimonious logic of location’) will suffice to describe all of the locative possibilities. Since almost all existing logics of location are parsimonious (and apparently for good reason) the argument is a considerable obstacle to the development of a satisfactory logic of location. Kleinschmidt suggests that the best (...) way out of the difficulty is to deny the possibility of Place Cases by denying that extended simple regions are possible. I argue that much the same problem arises even in cases not involving extended simple regions or indeed exotic regions of any kind. Thus, simply denying the possibility of extended simple regions will not save parsimonious logics of location. (shrink)

In Strawson’s “Freedom and Resentment”, the idea of the reactive attitudes is used to provide a corrective for an over-intellectualised picture of moral responsibility and of the moral life generally. But Strawson also tells us that in reasoning with someone our attitude towards them must be reactive. Taking up that thought, I argue that Strawson has also provided us with a corrective for an over-intellectualised picture of rationality. Drawing on a Wittgensteinian conception of the relation between thought and its expression, (...) I argue that rationality presupposes participation in a form of engagement with others that is reactive in Strawson’s sense. I also throw fresh light on what Strawson understands by a reactive attitude. (shrink)

According to reductive intellectualism, knowledge-how just is a kind of propositional knowledge (e.g., Stanley & Williamson 2001; Stanley 2011a, 2011b; Brogaard, 2008a, 2008b, 2009, 2011, 2009, 2011). This proposal has proved controversial because knowledge-how and propositional knowledge do not seem to share the same epistemic properties, particularly with regard to epistemic luck. Here we aim to move the argument forward by offering a positive account of knowledge-how. In particular, we propose a new kind of anti-intellectualism. Unlike neo-Rylean anti-intellectualist views, according (...) to which the possession of knowledge-how is just a matter of possessing certain abilities, we submit that knowledge-how is a particular kind of cognitive achievement attained just when cognitive ability is connected in the right way with successful performance. (shrink)

“We are animals.” That’s what animalists say—that’s their slogan. But what animalists mean by their slogan varies. Many animalists are adamant that what they mean—and, indeed, what the true animalist thesis is—is that we are identical to animals (human animals, to be precise). But others say that’s not enough. They say that the animalist thesis has to be something more—perhaps that we are essentially or most fundamentally human animals. This paper argues that, depending on how we understand it, animalism is (...) either false or uninteresting. If animalism is just the claim that we are identical to animals, then it is uninteresting. For it doesn’t provide an answer to the question it’s meant to address. On the other hand, if animalism entails a stronger claim, such as that we are essentially animals, then animalism is false. Either way, we should set animalism aside. (shrink)

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...) the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

In virtue of what do things persist through time? Are there criteria of their identities through time? Anti-criterialists say no. One prominent challenge to anti-criterialism comes in two steps. The first step is to show that anti-criterialists are committed specifically to the claim that there are no informative metaphysically sufficient conditions for identity through time. The second step is to show that this commitment yields absurd results. Each step of this challenge is open to objection. However, in what follows, I (...) will refortify this challenge to anti-criterialism by offering new reasons to take each step. (shrink)

General Introduction: In [1] a Calculus of Qualia (CQ) was proposed. The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader’s mind and is non-referential; it does not even refer to itself. The meaning and behavior of these terms is radically different. All of philosophy, from Plato through Descartes through Chalmers, including hieroglyphics and emojis, used (...) referential terms up until CQ. This paper in this series of papers addresses the question of why is there something rather than nothing, at length, and gives a radical new answer. It has to do with the fact in CQ that, while blackness is contingently possible, █ is necessarily actual, as it was in this sentence. (shrink)

It is argued that to possess the concept of distress is to be able to apply the concept to others, and that this implies a qualified form of altruism, in the sense that to perceive another as being in distress is, other things being equal, to see them as in need of help and be moved to help them.